<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
        "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
    <title>Redirecting to the document page</title>
    <meta HTTP-EQUIV="REFRESH" content="0; url=doc/build/html/index.html">
</head>
<body>
Redirecting to the document page...
</body>
</html>